]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 059524b) | patch
extensionPrefs: Move description into a expander
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 24 Jan 2020 01:02:10 +0000 (02:02 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 3 Feb 2020 18:11:21 +0000 (19:11 +0100)
commit1067642300b0e147dc49dcbbfe946ccf37884962
tree182a395624bc18460aad6d23aea9926c357e5022tree | snapshot
parent059524b007290f2fe39ae603407a875963270ad7commit | diff
extensionPrefs: Move description into a expander

The description can be useful information, but also increases the
visual complexity of the extensions list. Move it into a hidden
details area that can be expanded, which unclutters the interface
while keeping the information readily available.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
js/extensionPrefs/css/application.css [new file with mode: 0644] blob
js/extensionPrefs/main.js diff | blob | history
js/extensionPrefs/ui/extension-row.ui diff | blob | history
js/prefs-resources.gresource.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.